On Mapping RT-UML Specifications to RT-Java API: Bridging the Gap

نویسندگان

  • Leandro Buss Becker
  • R. H. Höltz
  • Carlos Eduardo Pereira
چکیده

Two recent standards have a great potential to impulse the use of object orientation in the development of real-time applications. The first is the Real-Time Specification for Java, consisting in an Application Programming Interface (API) for real-time object-oriented programming. The other is the emerging RTUML standard, which addresses the specification of real-time requirements and time using extended UML diagrams. This work proposes an approach for bridging the gap between the two emerging standards, aiming to provide a clear link between the modeled real-time constraints and the programming entities that provide their implementation. The main idea is to enhance the traceability as well as readability of timing constraints from a model-based requirements model to implementation. Relationships between the stereotypes and tags used to decorate the UML diagrams and their code representation are explained. An assessment of the benefits achieved using both standards as well are as some proposed enhancements are also discussed.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Sample Pages to Be Followed Exactly in Preparing Scripts an Approach for Designing Real-time Embedded Systems from Rt-uml Specifications

The current work presents an API based on the Real-Time Specification for Java (RTSJ) that optimizes real-time embedded systems development. Using this API it is possible to state non-functional specifications, like time constraints, and guarantee its implementation in the selected platform. Moreover, it discusses how real-time requirements derived from the RT-UML standard can be mapped to the ...

متن کامل

A CSP View on UML-RT Structure Diagrams

UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level, defining the overall system structure. In this paper we propose to use UML-RT structure diagrams together with the formal method CSP-OZ combining CSP and Object-Z. While CSP-OZ is used for specifying the system components them...

متن کامل

Bridging Java Annotations and UML Profiles with JUMP

UML profiles support annotations at the modeling level. However, current modeling tools lack the capabilities to generate such annotations required for the programming level, which is desirable for reverse engineering and forward engineering scenarios. To overcome this shortcoming, we defined an effective conceptual mapping between Java annotations and UML profiles as a basis for implementing t...

متن کامل

Validating RT-LOTOS Specifications using the TINA tool

The increasing development of highly concurrent and distributed systems captures scalability problems in terms of formal validation of models. In particular, reachability analysis tools commonly face a state explosion problem. Examples include the RTL tool developed by LAAS-CNRS for the formal description technique RT-LOTOS. By contrast, the TINA tool also developed by LAAS-CNRS for reachabilit...

متن کامل

From Process Algebra to Java Code

The Æ -calculus, a new calculus based on the -calculus, is a model for mobile distributed computation. The Æ -calculus can be used to specify applications, in order to reason about their security and correctness properties. The Æ primitives have been been implemented as a Java API. The implementation in Java provides a means of bridging the gap between application specification and implementation.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002